Cleanroom Software Engineering

Der Cleanroom Software Engineering Process (zu Deutsch Reinraum-Softwareentwicklungs-Prozess) ist ein Softwareentwicklungsprozess, mit dem Software mit einem zertifizierbaren Maß an Zuverlässigkeit erstellt werden soll. Der Reinraumprozess wurde ursprünglich von Harlan Mills und mehreren seiner Kollegen entwickelt, darunter Alan Hevner von IBM.^[1] Der Schwerpunkt des Reinraumprozesses liegt eher auf der Fehlervermeidung als auf der Fehlerbeseitigung. Der Name „Reinraum“ wurde gewählt, um an die in der Elektronikindustrie verwendeten Reinräume zu erinnern, um die Einführung von Defekten bei der Herstellung von Halbleitern zu verhindern. Das Reinraumverfahren wurde erstmals Mitte bis Ende der 1980er Jahre eingesetzt. Demonstrationsprojekte innerhalb des Militärs begannen Anfang der neunziger Jahre.^[2] Jüngste Arbeiten zum Reinraumprozess haben die Verschmelzung von Reinräumen mit den automatisierten Verifizierungsfunktionen untersucht, die durch in CSP ausgedrückte Spezifikationen bereitgestellt werden.^[3]

1. ↑ H. D. Mills, M. Dyer, R. C. Linger: Cleanroom Software Engineering. In: IEEE Software. Band 4, Nr. 5, September 1987, ISSN 1937-4194, S. 19–25, doi:10.1109/MS.1987.231413 (ieee.org [abgerufen am 20. März 2021]). 
2. ↑ John Foreman: Cleanroom Software Engineering Reference. In: Software Technology Roadmap. Software Engineering Institute (SEI), abgerufen am 27. April 2006.  Vorlage:Cite web: Der Parameter language wurde bei wahrscheinlich fremdsprachiger Quelle nicht angegeben.
3. ↑ Guy H. Broadfoot and P. J. Hopcroft: Introducing formal methods into industry using Cleanroom and CSP. In: Dedicated Systems e-Magazine. 2005.  Vorlage:Cite journal: Der Parameter language wurde bei wahrscheinlich fremdsprachiger Quelle nicht angegeben.